computability相关论文
著名的丘奇(A.Church)命题指出,任何算法都可以用一个图灵机来描述.对自然数的四则运算给出了相应的图灵机.......
为了对配电网规划问题进行简化,首先针对配电网规划过程中的不确定性进行分析,研究了配电网规划决策中的可接受偏差和可计算性问题......
在桥牌运动中,若将四家的牌摊开来打,则存在判定初始牌局是否为南北方胜牌局(或东西方胜牌局)的算法,当南北方(或东西方)客观上存......
给出了图灵机和可计算数之间的关系和可计算数的若干性质,提出了半可计算数的概念,并在此基础上结合集合的算术层次对实数集进行了......
讨论可计算性和语言学理论中的几个关键问题，阐述这几个关键问题的背景，正确理解这几个关键问题的重要性和这些问题与当前语言研究中......
针对有限状态自动机只能识别正规集合和计算一些相对简单函数的问题,给出了一类递归函数的符号计算方法.该方法把递归函数和图灵机......
